Quelques Applications de la logique a la Semantique des langues naturelles

I-L'~laboration du programme de Traduction Auto-matique du C.E.T.A. (14) a fair apparaTtre l'int~r~t d'un langage ~nterm~diaire entre la langue de d~part (langue source) et la langue d'arriv~e (langue cible). Un tel langa-ge, appel~ "langage pivot" (16) a l'avantage de n'@tre pas remis en cause de fa~on fondamentale lorsque l'on change de langue source par exemple. Dans la chalne de traduction au-tomatique, son rSle est essentiellement s~mantique; il doit, dans la mesure du possible, lever les ambiguTt~s des phrases du texte d'entr~e et associer ~ chaque mot de la langue source sa "bonne" traduction en langue cible. Dans le programme actuel de Traduction Automati-que du C.E.T.A., le pivot est fond~ sur l'utilisation de granmmires transformationnelles (15). Le present travail est un essai en vue d'obtenir un langage pivot qui ferait inter-venir des notions qu'il n'a pas ~t~ possible jusqu'~ mainte-nant de prendre en charge. Pr~cisons qu'il ~'agit d'un tra-vail en cours d'~laboration et que nous nous sommes attaches ici ~ mettre en ~vidence soit les outils qui nous parais-saient fondamentaux, soit les grandes ligne8 du syst~me. De tr~s nombreux points sont ~ pr~ciser, des parties enti~res restent ~ crier. Signalons enfin que l'~laboration d'un tel travail n'est possible que dans le cadre d'une ~quipe ; celle-ci, appel~e "Equipe de S~mantique" est compos~e de Mesdemoiselles Dupraz (ing~nieur), Claudel et Gagny (lin-guistes), de Monsieur Baille (chercheur) et de l'auteur. II-En supposant que l'on travaille dans le sens langue source-~langage pivot on peut consid~rer que l'infor-marion recueillie par l'~tude morphologique et syntaxique du texte d'entr~e est exploit~e dans l'ordre suivant : a) les processus d'actualisation : temps, aspect I